Three ways formally verified code can go wrong in practice
buttondown.comยท2h
๐Ÿ“œProof Carrying Code
Experimenting with ACL2 and Claude Code
mikedodds.orgยท6hยท
Discuss: Hacker News
๐Ÿ‘‘Isabelle
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.orgยท15h
๐Ÿ”—Graph Isomorphism
Construction of new 1130 MRAM memory board completed
rescue1130.blogspot.comยท41mยท
๐Ÿ› ๏ธGreaseweazle
BYOVD to the next level (part 2) โ€” rootkit like it's 2025
blog.quarkslab.comยท1d
๐Ÿ”eBPF
Operable Software
ferd.caยท6hยท
Discuss: Hacker News
๐Ÿ‘๏ธSystem Observability
Categorical systems theory
topos.instituteยท7h
๐Ÿ”€Category Theory
English - the hottest programming language of the future
dev.toยท1hยท
Discuss: DEV
๐Ÿ”„Language Evolution
Modern C and initializing an array
subethasoftware.comยท1d
๐Ÿ—‚Data structures
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.comยท9h
๐Ÿ’ŽInformation Crystallography
Cactus Language โ€ข Semantics 3
inquiryintoinquiry.comยท3h
๐Ÿ”ขDenotational Semantics
Faking a Rational Design Process in the AI Era: Why Documentation Matters
albertsikkema.comยท11hยท
Discuss: Hacker News
โš™๏ธProof Engineering
Trillion-Scale Goldbach Verification on Consumer Hardware -novel Algorithm [pdf]
zenodo.orgยท19hยท
Discuss: Hacker News
๐Ÿ”ขReed-Solomon Math
Three Solutions to Nondeterminism in AI
blog.hellas.aiยท2dยท
Discuss: Hacker News
๐ŸŽฏPerformance Proofs
Open Lineage
usenix.orgยท15h
๐Ÿ”ŒInterface Evolution
Learning from software errors โ€“ Part 3: A Mars probe gets out of control
heise.deยท11h
๐Ÿ“žSession Types
Next steps for BPF support in the GNU toolchain
lwn.netยท2dยท
๐ŸšShell Monads
Slip โ€“ A Lisp System in JavaScript
lisperator.netยท5hยท
Discuss: Hacker News
๐Ÿ”—Lisp
An enough week
blog.mitrichev.chยท23hยท
๐Ÿ“ˆLinear programming
Erlang-Red Walkthrough โ€“ Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.comยท5hยท
Discuss: Hacker News
๐ŸŒProtocol Synthesis